emit TAG number as comment

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index f41731951eabda3d6b3a2960fe3356c5c535718f..cda6cdf35830711126daee4a90e848688afbe4d9 100644 (file)
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -796,10 +796,11 @@ the annotation emission."
                (cdr insn))))
     (comp-op-case
       (TAG
-       (cl-destructuring-bind (_TAG _label-num . label-sp) insn
+       (cl-destructuring-bind (_TAG label-num . label-sp) insn
          ;; Paranoid?
          (when label-sp
-           (cl-assert (= (1- label-sp) (comp-limplify-sp comp-pass))))))
+           (cl-assert (= (1- label-sp) (comp-limplify-sp comp-pass))))
+         (comp-emit-annotation (format "LAP TAG %d" label-num))))
       (byte-stack-ref
        (comp-copy-slot (- (comp-sp) arg 1)))
       (byte-varref